/
  • Search Results for 'Sotheformerdoesnottautologicallyimplythelatter.considerthetruthassignmentgivenby(a)=twhile(b)=(c)=f.then (a$b$c)=twhile ((a^b^c)_(:a^:b^:c))=f'